61. Handbook of modal logic /
Author: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modality (Logic), Handbooks, manuals, etc
Classification :
BC199
.
M6
H36
2007
62. Hegel, logic and speculation /
Author: edited by Paolo Diego Bubbio, Alessandro De Cesaris, Maurizio Pagano, Hager Weslati.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hegel, Georg Ludwig Friedrich,1807-1831.,Hegel, Georg Ludwig Friedrich,1807-1831.,Logic.,Speculation.,Logic.,Speculation.
Classification :
B2949
.
L8
H44
2019
63. Hegel's actuality chapter of the science of logic :
Author: Nahum Brown.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Wissenschaft der Logik (Hegel, Georg Wilhelm Friedrich),Modality (Logic),Modality (Logic)
Classification :
B2948
.
B765
2019
64. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
65. Intensional and higher-order modal logic
Author: / Daniel Gallin. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Logic, Symbolic and mathematical.
Classification :
BC
,
199
,.
M6
,
G35
,
1975
66. Intensional and higher-order modal logic: with applications to Montague semantics
Author: Gallin, Daniel
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intension )Logic(,، Modality )Logic(
Classification :
BC
199
.
I5
G3
67. Intensional and higher-order modal logic : with applications to Montague semantics
Author: Gallin, Daniel.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(,، Logic, Symbolic and mathematical
Classification :
BC
199
.
M6
.
G35
1975
68. Intensional mathematics
Author: edited by Stewart Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
69. Intensional mathematics
Author: SHAPIRO,STEWART
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
Classification :
QA
9
.
46
.
I57
70. Intensional mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Modality (Logic) ;
71. Intensional mathematics /
Author: edited by Stewart Shapiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
Classification :
QA9
.
46
.
I57
1985
72. Intensional mathematics
Author: / edited by Stewart Shapiro. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
Classification :
QA
,
9
.
46
,.
I57
,
1985
73. Intentional mathematics
Author: / edited by Stewart Shapiro
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA9
.
46
،.
I57
1985
74. Intentional mathematics
Author: / edited by Stewart Shapiro
Library: Library of College of Science University of Tehran (Tehran)
Subject: Modality (Logic),Constructive mathematics,Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
75. Interpolation and definability
Author: D. M. Gabbay, L. Maksimova
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
Classification :
QA
281
.
G28I5
76. Introduction to deontic logic and the theory of normative systems /
Author: Lennart Åqvist
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique
Classification :
BC145
.
A67
1987
77. Introductory modal logic
Author: Konyndyk, Kenneth.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Modality )Logic(
Classification :
BC
199
.
M6
K66
1986
78. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Author: Dov M. Gabbay
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
Classification :
BC
199
.
M6G22
79. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Author: Gabbay, Dov M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
Classification :
BC
199
.
M6
.
G3
80. Kant's modal metaphysics
Author: Nicholas F. Stang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
Classification :
B
2799
.
M5S72
